Greptile Summary

This PR formalises a compact/full two-mode contract for search_codebase (DISC-01) and adds freshness-aware edit-readiness gating (SAFE-01). Compact is now the default (≤6 results, light graph context, budget/patternSummary/bestExample/nextHops); full mode preserves the previous shape plus budget. Stale indexes (>7 days) force abstain=true for edit/refactor/migrate intents; aging (24h–7d) warns; explore intent bypasses freshness gating entirely.

• consumers is removed from the buildRelationshipHints implementation but its declaration is not removed from the exported SearchResultItem.hints type in types.ts, leaving a dead optional field that will never be populated.
• filterStrongMemories requires ≥2 term matches, so single-keyword symbol searches (e.g. \"AuthService\") silently return no memories in compact mode.
• readyToEdit in evidence-lock.ts doesn't independently guard against indexFreshness === 'stale'; it relies on the side-effect of status = 'block' being set earlier in the same function.

Confidence Score: 4/5

Safe to merge — all 426 tests pass, logic is correct, findings are P2 clean-ups and defensive suggestions.

The compact/full fork and freshness gating are well-tested (14 new integration tests) and the logic is sound. The three flagged issues are all P2: a stale type field, a defensive readyToEdit guard, and a memory-filter edge case for single-term queries. None are blockers.

src/tools/types.ts (stale consumers field) and src/tools/search-codebase.ts (filterStrongMemories single-term gap)

Flowchart

%%{init: {'theme': 'neutral'}}%%
flowchart TD
    A([search_codebase called]) --> B{mode param?}
    B -- compact / default --> C[Slice results to ≤6]
    B -- full --> D[All results]

    A --> E{intent?}
    E -- edit / refactor / migrate --> F[Full preflight path]
    E -- explore / none --> G[Lite preflight path]

    F --> H[computeIndexConfidence]
    H --> I{indexFreshness?}
    I -- fresh --> J[buildEvidenceLock — no freshness gate]
    I -- aging --> K[buildEvidenceLock + aging gap added]
    I -- stale --> L[buildEvidenceLock + status forced to block]

    J & K & L --> M{evidenceLock.status == block or searchQuality == low_confidence?}
    M -- yes --> N[decisionCard.abstain = true, ready = false]
    M -- no --> O[decisionCard.ready = true]

    G --> P[buildEvidenceLock — indexFreshness omitted]
    P --> Q[lite preflight: ready + reason only]

    C --> R[Compact response: budget, patternSummary, bestExample, nextHops, importedByCount, topExports]
    D --> S[Full response: budget, hints, relatedMemories]

    N & O --> R
    N & O --> S

_{Reviews (1): Last reviewed commit: "feat: implement DISC-01 compact/full sea..." | Re-trigger Greptile}

Updated in b549be4: I fixed the stale guard and removed hints.consumers. I left the compact-memory threshold unchanged on purpose and recorded that recall tradeoff as Phase 8 technical debt in .planning/phases/08-tighten-search-contract/08-VERIFICATION.md.